//===-- SolverStats.cpp ---------------------------------------------------===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#include "SolverStats.h"

using namespace klee;

Statistic *stats::cexCacheTime = new Statistic("CexCacheTime", "CCtime");
Statistic *stats::queries = new Statistic("Queries", "Q");
Statistic *stats::queriesInvalid = new Statistic("QueriesInvalid", "Qiv");
Statistic *stats::queriesValid = new Statistic("QueriesValid", "Qv");
Statistic *stats::queryCacheHits = new Statistic("QueryCacheHits", "QChits") ;
Statistic *stats::queryCacheMisses = new Statistic("QueryCacheMisses", "QCmisses");
Statistic *stats::queryConstructTime = new Statistic("QueryConstructTime", "QBtime") ;
Statistic *stats::queryConstructs = new Statistic("QueriesConstructs", "QB");
Statistic *stats::queryCounterexamples = new Statistic("QueriesCEX", "Qcex");
Statistic *stats::queryTime = new Statistic("QueryTime", "Qtime");
